More from this Author

Intelligent Computer Mathematics

by Manfred Kerber (Editor), Jacques Carette (Editor), Cezary Kaliszyk (Editor), Florian Rabe (Editor), Volker Sorge (Editor)